First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
541	The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL Chitta Baral1 , Marcos Alvarez Gonzalez1 , and Aaron Gottesman1 School of Computing, Inf Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-02-13 21:47:51 Mathematical logic Type theory Logic in computer science Theory of computation Predicate logic Combinatory logic Simply typed lambda calculus Type constructor First-order logic Theoretical computer science Lambda calculus Mathematics
542	Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c Add to Reading List Source URL: dmcer.net Language: English - Date: 2011-07-25 01:42:32 Textual entailment WordNet Semantics Entailment Bitext word alignment Inference Monotonicity of entailment First-order logic Knowledge representation and reasoning Logic Science Logical consequence
543	ProofPower Z TUTORIAL PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:49 Propositional calculus First-order logic Model theory Predicate logic Function Lambda calculus Proposition Type theory Logic Mathematics Mathematical logic
544	The Ackermann Award 2014 Anuj Dawar Chairman of the Jury of the EACSL Ackermann Award [removed] Abstract Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-08-15 17:26:59 Mathematics Computational complexity theory Time complexity Circuit complexity First-order logic L Algorithm FO Structure Theoretical computer science Applied mathematics Complexity classes
545	TABLE OF CONTENTS ✦ ✦ ✦ ✦ Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:24:43 Mathematical logic Automata theory Formal languages Computability theory Algorithm Finite-state machine Regular expression Recursion First-order logic Mathematics Theoretical computer science Logic
546	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification D EFINING H IGHER O RDER L OGIC Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Model theory Boolean algebra Fixed-point combinator First-order logic Hoare logic Propositional calculus Simply typed lambda calculus Mathematical logic Logic Theoretical computer science
547	The Enduring Scandal of Deduction Is Propositional Logic Really Uninformative? Marcello D’Agostino Dipartimento di Scienze Umane Universit` a di Ferrara ([removed]) Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:29 Propositional calculus Logical consequence Proof theory Deductive reasoning Soundness Entailment Inference Natural deduction First-order logic Logic Deduction Reasoning
548	HOL Formalised: Language and Overview R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-27 11:48:02 Formal languages Formal systems Logic in computer science Type theory HOL First-order logic Rule of inference Interpretation Axiom Logic Mathematical logic Model theory
549	CSL Technical Report SRI-CSL-01-01 • April[removed]Theory Interpretations in PVS Sam Owre and N. Shankar Funded by NASA Langley Research Center contract numbers NAS1[removed]and Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Model theory Formal systems Proof theory Interpretation Philosophy of mind Theory First-order logic Axiom Structure Logic Mathematical logic Metalogic
550	Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed] Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2015-01-13 22:35:40 Model theory Type theory Predicate logic Semantics Data types Prototype Verification System Simply typed lambda calculus First-order logic Type system Logic Mathematical logic Mathematics

UPDATE